A new upper bound for 3-SAT

We show that a randomly chosen 3-CNF formula over n variables with clauses-to-variables ratio at least 4.4898 is, as n grows large, asymptotically almost surely unsatisfiable. The previous best such bound, due to Dubois in 1999, was 4.506. The first such bound, independently discovered by many groups of researchers since 1983, was 5.19. Several decreasing values between 5.19 and 4.506 were published in the years between. The probabilistic techniques we use for the proof are, we believe, of independent interest.Comment: 20 page

Compact groups from semi-analytical models of galaxy formation -- V: their assembly channels as a function of the environment

We delved into the assembly pathways and environments of compact groups (CGs) of galaxies using mock catalogues generated from semi-analytical models (SAMs) on the Millennium simulation. We investigate the ability of SAMs to replicate the observed CG environments and whether CGs with different assembly histories tend to inhabit specific cosmic environments. We also analyse whether the environment or the assembly history is more important in tailoring CG properties. We find that about half of the CGs in SAMs are non-embedded systems, 40% are inhabiting loose groups or nodes of filaments, while the rest distribute evenly in filaments and voids, in agreement with observations. We observe that early-assembled CGs preferentially inhabit large galaxy systems (~ 60%), while around 30% remain non-embedded. Conversely, lately-formed CGs exhibit the opposite trend. We also obtain that lately-formed CGs have lower velocity dispersions and larger crossing times than early-formed CGs, but mainly because they are preferentially non-embedded. Those lately-formed CGs that inhabit large systems do not show the same features. Therefore, the environment plays a strong role in these properties for lately-formed CGs. Early-formed CGs are more evolved, displaying larger velocity dispersions, shorter crossing times, and more dominant first-ranked galaxies, regardless of the environment. Finally, the difference in brightness between the two brightest members of CGs is dependent only on the assembly history and not on the environment. CGs residing in diverse environments have undergone varied assembly processes, making them suitable for studying their evolution and the interplay of nature and nurture on their traits.Comment: 13 pages, 8 figures. Accepted for publication in MNRA

Hickson-like compact groups inhabiting different environments

Although Compact Groups of galaxies (CGs) have been envisioned as isolated extremely dense structures in the Universe, it is accepted today that many of them could be not as isolated as thought. In this work, we study Hickson-like CGs identified in the Sloan Digital Sky Survey Data Release 16 to analyse these systems and their galaxies when embedded in different cosmological structures. To achieve this goal, we identify several cosmological structures where CGs can reside: Nodes of filaments, Loose Groups, Filaments and cosmic Voids. Our results indicate that 45 per cent of CGs do not reside in any of these structures, i.e., they can be considered non-embedded or isolated systems. Most of the embedded CGs are found inhabiting Loose Groups and Nodes, while there are almost no CGs residing well inside cosmic Voids. Some physical properties of CGs vary depending on the environment they inhabit. CGs in Nodes show the largest velocity dispersions, the brightest absolute magnitude of the first-ranked galaxy, and the smallest crossing times, while the opposite occurs in Non-Embedded CGs. When comparing galaxies in all the environments and galaxies in CGs, CGs show the highest fractions of red/early-type galaxy members in most of the absolute magnitudes ranges. The variation between galaxies in CGs inhabiting one or another environment is not as significant as the differences caused by belonging or not to a CG. Our results suggest a plausible scenario for galaxy evolution in CGs in which both, large-scale and local environments play essential roles.Comment: 16 pages, 9 figures, 1 table, accepted for publication in MNRA

Sources of pro-cyclicality in east Asian financial systems

Procyclicality is a normal feature of economic systems, but financial sector weaknesses can exacerbate it sufficiently to pose a threat to macroeconomic and financial stability. These include shortcomings in bank risk management and governance, in supervision and in terms of dependence on volatile sources of funds. The paper tests econometrically for the importance of such features leading to pro-cyclicality in the financial systems of 11 East Asian countries. This analysis makes it possible to identify specific policy measures for East Asian countries that could limit the extent to which financial systems exacerbate pro-cyclicality

Baseline Inflammatory Status Reveals Dichotomic Immune Mechanisms Involved In Primary-Progressive Multiple Sclerosis Pathology

To ascertain the role of inflammation in the response to ocrelizumab in primary-progressive multiple sclerosis (PPMS).Multicenter prospective study including 69 patients with PPMS who initiated ocrelizumab treatment, classified according to baseline presence [Gd+, n=16] or absence [Gd-, n=53] of gadolinium-enhancing lesions in brain MRI. Ten Gd+ (62.5%) and 41 Gd- patients (77.4%) showed non-evidence of disease activity (NEDA) defined as no disability progression or new MRI lesions after 1 year of treatment. Blood immune cell subsets were characterized by flow cytometry, serum immunoglobulins by nephelometry, and serum neurofilament light-chains (sNfL) by SIMOA. Statistical analyses were corrected with the Bonferroni formula.More than 60% of patients reached NEDA after a year of treatment, regardless of their baseline characteristics. In Gd+ patients, it associated with a low repopulation rate of inflammatory B cells accompanied by a reduction of sNfL values 6 months after their first ocrelizumab dose. Patients in Gd- group also had low B cell numbers and sNfL values 6 months after initiating treatment, independent of their treatment response. In these patients, NEDA status was associated with a tolerogenic remodeling of the T and innate immune cell compartments, and with a clear increase of serum IgA levels.Baseline inflammation influences which immunological pathways predominate in patients with PPMS. Inflammatory B cells played a pivotal role in the Gd+ group and inflammatory T and innate immune cells in Gd- patients. B cell depletion can modulate both mechanisms.Copyright © 2022 Fernández-Velasco, Monreal, Kuhle, Meca-Lallana, Meca-Lallana, Izquierdo, Oreja-Guevara, Gascón-Giménez, Sainz de la Maza, Walo-Delgado, Lapuente-Suanzes, Maceski, Rodríguez-Martín, Roldán, Villarrubia, Saiz, Blanco, Diaz-Pérez, Valero-López, Diaz-Diaz, Aladro, Brieva, Íñiguez, González-Suárez, Rodríguez de Antonio, García-Domínguez, Sabin, Llufriu, Masjuan, Costa-Frossard and Villar

Measurement of the cross-section and charge asymmetry of WW bosons produced in proton-proton collisions at s=8\sqrt{s}=8 TeV with the ATLAS detector

This paper presents measurements of the $W^+ \rightarrow \mu^+\nu$ and $W^- \rightarrow \mu^-\nu$ cross-sections and the associated charge asymmetry as a function of the absolute pseudorapidity of the decay muon. The data were collected in proton--proton collisions at a centre-of-mass energy of 8 TeV with the ATLAS experiment at the LHC and correspond to a total integrated luminosity of 20.2~\mbox{fb^{-1}}. The precision of the cross-section measurements varies between 0.8% to 1.5% as a function of the pseudorapidity, excluding the 1.9% uncertainty on the integrated luminosity. The charge asymmetry is measured with an uncertainty between 0.002 and 0.003. The results are compared with predictions based on next-to-next-to-leading-order calculations with various parton distribution functions and have the sensitivity to discriminate between them.Comment: 38 pages in total, author list starting page 22, 5 figures, 4 tables, submitted to EPJC. All figures including auxiliary figures are available at https://atlas.web.cern.ch/Atlas/GROUPS/PHYSICS/PAPERS/STDM-2017-13

Single hadron response measurement and calorimeter jet energy scale uncertainty with the ATLAS detector at the LHC

The uncertainty on the calorimeter energy response to jets of particles is derived for the ATLAS experiment at the Large Hadron Collider (LHC). First, the calorimeter response to single isolated charged hadrons is measured and compared to the Monte Carlo simulation using proton-proton collisions at centre-of-mass energies of sqrt(s) = 900 GeV and 7 TeV collected during 2009 and 2010. Then, using the decay of K_s and Lambda particles, the calorimeter response to specific types of particles (positively and negatively charged pions, protons, and anti-protons) is measured and compared to the Monte Carlo predictions. Finally, the jet energy scale uncertainty is determined by propagating the response uncertainty for single charged and neutral particles to jets. The response uncertainty is 2-5% for central isolated hadrons and 1-3% for the final calorimeter jet energy scale.Comment: 24 pages plus author list (36 pages total), 23 figures, 1 table, submitted to European Physical Journal

Multiplicity dependence of jet-like two-particle correlations in p-Pb collisions at sNN\sqrt{s_{NN}} = 5.02 TeV

Two-particle angular correlations between unidentified charged trigger and associated particles are measured by the ALICE detector in p-Pb collisions at a nucleon-nucleon centre-of-mass energy of 5.02 TeV. The transverse-momentum range 0.7 $< p_{\rm{T}, assoc} < p_{\rm{T}, trig} <$ 5.0 GeV/$c$ is examined, to include correlations induced by jets originating from low momen\-tum-transfer scatterings (minijets). The correlations expressed as associated yield per trigger particle are obtained in the pseudorapidity range $|\eta|<0.9$. The near-side long-range pseudorapidity correlations observed in high-multiplicity p-Pb collisions are subtracted from both near-side short-range and away-side correlations in order to remove the non-jet-like components. The yields in the jet-like peaks are found to be invariant with event multiplicity with the exception of events with low multiplicity. This invariance is consistent with the particles being produced via the incoherent fragmentation of multiple parton--parton scatterings, while the yield related to the previously observed ridge structures is not jet-related. The number of uncorrelated sources of particle production is found to increase linearly with multiplicity, suggesting no saturation of the number of multi-parton interactions even in the highest multiplicity p-Pb collisions. Further, the number scales in the intermediate multiplicity region with the number of binary nucleon-nucleon collisions estimated with a Glauber Monte-Carlo simulation.Comment: 23 pages, 6 captioned figures, 1 table, authors from page 17, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/161

Dystrophinopathy Phenotypes and Modifying Factors in Exon 45-55 Deletion

Duchenne muscular dystrophy (DMD) exon 45-55 deletion (del45-55) has been postulated as a model that could treat up to 60% of DMD patients, but the associated clinical variability and complications require clarification. We aimed to understand the phenotypes and potential modifying factors of this dystrophinopathy subset. This cross-sectional, multicenter cohort study applied clinical and functional evaluation. Next generation sequencing was employed to identify intronic breakpoints and their impact on the Dp140 promotor, intronic long noncoding RNA, and regulatory splicing sequences. DMD modifiers (SPP1, LTBP4, ACTN3) and concomitant mutations were also assessed. Haplotypes were built using DMD single nucleotide polymorphisms. Dystrophin expression was evaluated via immunostaining, Western blotting, reverse transcription polymerase chain reaction (PCR), and droplet digital PCR in 9 muscle biopsies. The series comprised 57 subjects (23 index) expressing Becker phenotype (28%), isolated cardiopathy (19%), and asymptomatic features (53%). Cognitive impairment occurred in 90% of children. Patients were classified according to 10 distinct index-case breakpoints; 4 of them were recurrent due to founder events. A specific breakpoint (D5) was associated with severity, but no significant effect was appreciated due to the changes in intronic sequences. All biopsies showed dystrophin expression of >67% and traces of alternative del45-57 transcript that were not deemed pathogenically relevant. Only the LTBP4 haplotype appeared associated the presence of cardiopathy among the explored extragenic factors. We confirmed that del45-55 segregates a high proportion of benign phenotypes, severe cases, and isolated cardiac and cognitive presentations. Although some influence of the intronic breakpoint position and the LTBP4 modifier may exist, the pathomechanisms responsible for the phenotypic variability remain largely unresolved. ANN NEUROL 2022;92:793-80

Standalone vertex finding in the ATLAS muon spectrometer

A dedicated reconstruction algorithm to find decay vertices in the ATLAS muon spectrometer is presented. The algorithm searches the region just upstream of or inside the muon spectrometer volume for multi-particle vertices that originate from the decay of particles with long decay paths. The performance of the algorithm is evaluated using both a sample of simulated Higgs boson events, in which the Higgs boson decays to long-lived neutral particles that in turn decay to bbar b final states, and pp collision data at √s = 7 TeV collected with the ATLAS detector at the LHC during 2011